Minimal Projective Resolutions
نویسنده
چکیده
In this paper, we present an algorithmic method for computing a projective resolution of a module over an algebra over a field. If the algebra is finite dimensional, and the module is finitely generated, we have a computational way of obtaining a minimal projective resolution, maps included. This resolution turns out to be a graded resolution if our algebra and module are graded. We apply this resolution to the study of the Ext-algebra of the algebra; namely, we present a new method for computing Yoneda products using the constructions of the resolutions. We also use our resolution to prove a case of the “no loop” conjecture.
منابع مشابه
Complexes of $C$-projective modules
Inspired by a recent work of Buchweitz and Flenner, we show that, for a semidualizing bimodule $C$, $C$--perfect complexes have the ability to detect when a ring is strongly regular.It is shown that there exists a class of modules which admit minimal resolutions of $C$--projective modules.
متن کاملFree Resolutions and Change of Rings
Projective resolutions of modules over a ring R are constructed starting from appropriate projective resolutions over a ring Q mapping to R. It is shown that such resolutions may be chosen to be minimal in codimension ≤ 2, but not in codimension 3. This is used to obtain minimal resolutions for essentially all modules over local (or graded) rings R with codimension ≤ 2. Explicit resolutions are...
متن کاملAn algorithmic approach to resolutions
We provide an algorithmic method for constructing projective resolutions of modules over quotients of path algebras. This algorithm is modified to construct minimal projective resolutions of linear modules over Koszul algebras.
متن کاملThe Kostant form of U(sl + n) and the Borel subalgebra of the Schur algebra S(n, r)
Let An(K) be the Kostant form of U(sl + n ) and Γ the monoid generated by the positive roots of sln. For each λ ∈ Λ(n, r) we construct a functor Fλ from the category of finitely generated Γ-graded An(K)-modules to the category of finite-dimensional S(n, r)-modules, with the property that Fλ maps (minimal) projective resolutions of the one-dimensional An(K)module KA to (minimal) projective resol...
متن کاملLyubeznik’s Resolution and Rooted Complexes
We describe a new family of free resolutions for a monomial ideal I , generalizing Lyubeznik’s construction. These resolutions are cellular resolutions supported on the rooted complexes of the lcm-lattice of I . Our resolutions are minimal for the matroid ideal of a finite projective space.
متن کامل